Rondogiannis, Panos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The Expressive Power of Higher-Order Datalog

CHARALAMBIDIS, ANGELOS, NOMIKOS, CHRISTOS, RONDOGIANNIS, PANOS

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 257 KB

english, 2019

2

Game semantics for non-monotonic intensional logic programming

Galanaki, Chrysida, Nomikos, Christos, Rondogiannis, Panos

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 508 KB

english, 2017

3

The intricacies of three-valued extensional semantics for higher-order logic programs

RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 186 KB

english, 2017

4

The infinite-valued semantics: overview, recent results and future directions

Rondogiannis, Panos, Troumpoukis, Antonis

Journal:

Journal of Applied Non-Classical Logics

Year:

2013

Language:

english

File:

PDF, 179 KB

english, 2013

5

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 235 KB

english, 2018

6

Temporal disjunctive logic programming

Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos

Journal:

New Generation Computing

Year:

2001

Language:

english

File:

PDF, 862 KB

english, 2001

7

Efficient Intensional Implementation for Lazy Functional Languages

Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis

Journal:

Mathematics in Computer Science

Year:

2008

Language:

english

File:

PDF, 779 KB

english, 2008

8

Minimum model semantics for logic programs with negation-as-failure

Rondogiannis, Panos, Wadge, William W.

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

9

Equivalence of two fixed-point semantics for definitional higher-order logic programs

Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 479 KB

english, 2017

10

Temporal stratification tests for linear and branching-time deductive databases

Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

11

[ACM Press the 18th International Symposium - Edinburgh, United Kingdom (2016.09.05-2016.09.07)] Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16 - Higher-order logic programming

Charalambidis, Angelos, Rondogiannis, Panos, Troumpoukis, Antonis

Year:

2016

Language:

english

File:

PDF, 483 KB

english, 2016

12

Well-founded semantics for Boolean grammars

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 380 KB

english, 2009

13

A fixed point theorem for non-monotonic functions

Ésik, Zoltán, Rondogiannis, Panos

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

14

Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp.

Rondogiannis, Panos

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 61 KB

english, 2012

15

Locally stratified Boolean grammars

Christos Nomikos, Panos Rondogiannis

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

16

Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences

Charalambidis, Angelos, Rondogiannis, Panos, Troumpoukis, Antonis

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 461 KB

english, 2017

17

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation

CHARALAMBIDIS, ANGELOS, ÉSIK, ZOLTÁN, RONDOGIANNIS, PANOS

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 132 KB

english, 2014

18

A game-theoretic characterization of Boolean grammars

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 308 KB

english, 2011

19

On the expressive power of univariate equations over sets of natural numbers

Alexander Okhotin, Panos Rondogiannis

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 228 KB

english, 2012

20

The Branching-Time Transformation Technique for Chain Datalog Programs

Panos Rondogiannis, Manolis Gergatsoulis

Journal:

Journal of Intelligent Information Systems

Year:

2001

Language:

english

File:

PDF, 130 KB

english, 2001

21

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - Expressing preferences in logic programming using an infinite-valued logic

Rondogiannis, Panos, Troumpoukis, Antonis

Year:

2015

Language:

english

File:

PDF, 773 KB

english, 2015

22

An infinite-game semantics for well-founded negation in logic programming

Chrysida Galanaki, Panos Rondogiannis, William W. Wadge

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 354 KB

english, 2008

23

Strong equivalence of logic programs under the infinite-valued semantics

Christos Nomikos, Panos Rondogiannis, William W. Wadge

Journal:

Information Processing Letters

Year:

2009

Language:

english

File:

PDF, 163 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски